int poolprintfloat_tests();
